Incremental Deductive Verification for Relational Model Transformations

Titre

BSO - Titre

Incremental Deductive Verification for Relational Model Transformations

DOI

DOAI

Identifiant WoS

WOS:000403393600034

Accès ouvert

OA - Non

Source - Accès ouvert

OA - Non

Type d'accès

Non OA

Editeur

IEEE - Institute of Electrical and Electronics Engineers

Source

IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST)

ISSN

2381-2834

Type de document

Notoriété

0 - Sans notoriété

CNRS

Oui

CNRS - Institut

Poids de l’Open access dans la production CNRS